On the decomposition of k-valued rational relations (Preliminary draft)
نویسندگان
چکیده
We give a new and hopefully more easily understandable structural proof for the decomposition of a k-valued transducer into k unambiguous functional transducers, a result established by A. Weber. The number of states of the transducers given by our construction outperforms Weber’s one by one exponential. Moreover, we solve a problem left open by Weber, the decomposition of a bounded length-degree rational relation.
منابع مشابه
On the decomposition of k-valued rational relations
We give a new, and hopefully more easily understandable, structural proof of the decomposition of a k-valued transducer into k unambiguous functional ones, a result established by A. Weber in 1996. Our construction is based on a lexicographic ordering of computations of automata and on two coverings that can be build by means of this ordering. The complexity of the construction, measured as the...
متن کاملProperties of some classes of rational relations
We study theoretical and algorithmic aspects of some classes of rational relations: the finite valued rational relations, the k-valued rational relations, for every positive integer k, the sequential functions, and the subsequential functions. At first, we study some classical results concerning the rational relations, the representations of rational relations by transducers and matrices, and s...
متن کاملDecomposition of H*-Algebra Valued Negative Definite Functions on Topological *-Semigroups
In the present paper, among other results, a decomposition formula is given for the w-bounded continuous negative definite functions of a topological *-semigroup S with a weight function w into a proper H*-algebra A in terms of w-bounded continuous positive definite A-valued functions on S. A generalization of a well-known result of K. Harzallah is obtained. An earlier conjecture of the author ...
متن کاملOn rational groups with Sylow 2-subgroups of nilpotency class at most 2
A finite group $G$ is called rational if all its irreducible complex characters are rational valued. In this paper we discuss about rational groups with Sylow 2-subgroups of nilpotency class at most 2 by imposing the solvability and nonsolvability assumption on $G$ and also via nilpotency and nonnilpotency assumption of $G$.
متن کاملRational Points of Quiver Moduli Spaces
For a perfect field k, we study actions of the absolute Galois group of k on the k-valued points of moduli spaces of quiver representations over k; the fixed locus is the set of k-rational points and we obtain a decomposition of this fixed locus indexed by elements in the Brauer group of k. We provide a modular interpretation of this decomposition using quiver representations over division alge...
متن کامل